00100	(SETQ SETQMESS @("
00200	No proof has been found.  You have two options:
00300	1)Type AB <clauses>; to abandon the current proof attempt, retaining
00400	  <clauses> for the clause list.
00500	2)Type TE <clauses>; to terminate this attempt, but then automatically
00600	 begin a new search with <clauses> added to the set of initial statements.
00700	
00800	You are now talking to the on-line editor... for help type HE; 
00900	"))
01000	(SETQ MESSAGE @("
01100	Help-message is under revision.  Read SECOND.DOC[1,JRA],RUNT.DOC[1,JRA]
01200	 and LANG.DOC[1,JRA]. More documentation is coming.
01300	As a last resort call 321-3612.
01400	"))